基于关系数据库的抽象查询

抽象查询是数据库应用系统中的一种程序设计方法。该方法为数据库应用系统查询使用者提供了一个比较良好的、全面直观的数据聚集查询调配。模糊了使用者对数据库应用系统的专业性限制，并为用户掌握和了解数据内容、数据关联顺序起到了一个得力的助手作用。使用二叉树原理是建立数据库的抽象查询的数学模型依据，二叉树算法能够使应用系统开发人员建立直观的E-R关系数据结构，并为数据库的扩展奠定了可靠的关系基本数据模型，使抽象查询有一个较完整的基础数据。     

高职学生数学素质培养的探讨

对于高职高专基础数学课程教学,要根据现代数学的认知原理和教学活动自身的规律进行。高职高专数学课程教学是培养数学素质不可缺少的环节,如何更好地发挥高职高专数学课程教学与数学素质培养的作用,本文针对这一问题进行了探讨。     

城市轨道交通的基本属性对投融资的启示

从城市轨道交通的基本属性入手,从产品分类、项目区分、可销售性评估、外部效应等角度分析其内在的本质特征:城市轨道交通的准公共性、准经营性、可销售性和外部性.形成了投融资工作的认识基础.提出了通过有条件的商业化运作方式建立起政府财力与社会资本互补的投融资机制的建议.     

英语中关于音节划分规律的分析

本文分析了英语学习中正确划分音节的重要意义,由音节的历史发展阐明了现代英语中音节的确切定义和结构分类,并给出了音节划分的具体规律。这些规律是单词正确发音的关键。     

FZy-CTC列车占用丢失报警功能的开发

根据铁道部要求FZy-CTC系统增加了列车占用丢失报警功能,对运输指挥起到了较好的指导作用。描述FZy-CTC系统如何抽象该需求,对列车运行轨迹进行逻辑检查,并最终实现列车占用丢失报警功能。     

铝合金车身零部件设计研究

文章通过对铝合金发动机盖设计流程的描述,通过对比铝合金与钢的不同点,归纳了铝合金发盖设计所需要关注的要点,并提供了铝合金板材选择的方式。在不同于钢制发动机盖的点上提出了设计要求,明确了铝合金发盖的设计方法。     

基于故障树的HX_D3型电力机车牵引变流器可靠性设计

文章介绍了HXD3型电力机车牵引变流器的基本组成、主要部件的技术参数,按照故障树的结构对引起牵引变流器故障的原因进行了分析,将故障进行了分级,说明基础设计、例行试验和维护检查几方面进行全方位的可靠性设计方法。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

大学计算机基础课程教学方式的改革与实践

随着信息技术和计算机技术迅速发展和普及，传统的计算机基础教学方式面临新的挑战。本文探讨了当前形势下大学计算机基础课程教学模式的改革方向，根据多年的教学实践，探讨了高校计算机基础教学改革模式。     

一种新型管道机械接头密封分析

随着海洋石油事业的发展,尤其是在役多年的石油平台工艺管道长时间受腐蚀介质和海洋环境的影响容易发生泄漏,传统的管道焊接技术由于需要动火作业,在已投产的石油平台管道维修方面受油气易燃易爆等各种因素的制约,不适应海洋平台管道维修快速、环保、经济等新要求。文中利用ANSYS有限元软件对传统机械接头的结构进行优化分析,开发出一种新型管道机械连接接头。此种接头具有耐高压、耐腐蚀、节能、安全、安装快捷等显著优点,特别适用于海洋石油平台工艺管道的快速维修。着重分析了新型管道机械接头的基本结构、连接机理及影响其密封性能的主要因素,分析结果显示此种连接可靠。